AbstractAlgebra.Generic.Frac{Nemo.QQMPolyRingElem}[Dd, T, S + R, rR*R - S*d*T + S*r - dr*R*T, e - rR + dr*W + d*W + g - r + a*W, e - rR + dr*T + d*T + g - r + a*T, (rR*d - dr*r)//(dr - d), (S*d + dr*R)//(dr + d + a), (dr*d + dr*a)//(dr^2 + d^2 + 2*d*a + a^2), (-e*dr^2*g + 2*e*dr*d*g + e*dr*g*a - e*d^2*g - e*d*g*a - rR*dr*g*a + rR*d*g*a + rR*g*a^2 + dr*g^2*a + dr*g*r*a - d*g^2*a - d*g*r*a - g*r*a^2)//(S^2*dr*a - S^2*d*a - S*dr^2*R + 2*S*dr*R*d + S*dr*R*a - S*R*d^2 - S*R*d*a), (-e*S*dr^2 + 2*e*S*dr*d + e*S*dr*a - e*S*d^2 - e*S*d*a - rR*S*dr*a + rR*S*d*a + rR*S*a^2 + 2*S*dr*g*a + S*dr*r*a - 2*S*d*g*a - S*d*r*a - S*r*a^2 - dr^2*R*g + 2*dr*R*d*g + dr*R*g*a - R*d^2*g - R*d*g*a)//(S^2*dr*a - S^2*d*a - S*dr^2*R + 2*S*dr*R*d + S*dr*R*a - S*R*d^2 - S*R*d*a)]
